Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 2 /2
978-3-540-32240-5
Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Continue reading
978-3-540-73210-5
Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Continue reading
Total Books: 1 - 2 /2